Basic science - PDFSEARCH.IO - Document Search Engine

Basic science
Results: 4014

#	Item
271	BRICS Basic Research in Computer Science BRICS RSDamian & Danvy: CPS Transformation of Flow Information, Part II: Administrative Reductions CPS Transformation of Flow Information Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-08-13 09:59:00 Computational complexity theory Continuation-passing style Continuations Functional programming Lambda calculus Static single assignment form Reduction Theoretical computer science Applied mathematics Software engineering
272	BRICS RS-05-7 P. D. Mosses: Modular Structural Operational Semantics BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-03-21 06:07:46 Computing Logic in computer science Operational semantics Denotational semantics Semantics Programming language Expression Action semantics Monad Software engineering Theoretical computer science Programming language semantics
273	BRICS Basic Research in Computer Science BRICS NS-94-4 P. D. Mosses (ed.): 6th Nordic Workshop on Programming Theory Add to Reading List Source URL: www.brics.dk Language: English - Date: 2003-12-10 05:30:33 Logic in computer science Programming language semantics Philosophical logic Modal logic Model checking Denotational semantics Peter Mosses Temporal logic Mereology Theoretical computer science Mathematical logic Logic
274	BRICS RSBiernacki et al.: A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-05-26 17:46:54
275	Using Python To Break Basic Ciphers: Hill Climbing Algorithms John Hackett Add to Reading List Source URL: www.hanginghyena.com Language: English - Date: 2013-12-25 00:18:34 Substitution cipher Code Q Science Mathematical sciences Cyberwarfare Vigenère cipher Caesar cipher Cryptography Classical cipher Cipher
276	BRICS RSBiernacka et al.: An Operational Foundation for Delimited Continuations in the CPS Hierarchy BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-03-22 05:30:06 Continuations Functional programming Continuation-passing style Programming language semantics Eval Evaluation strategy Continuation Lambda calculus Operational semantics Software engineering Computing Control flow
277	BRICS Basic Research in Computer Science BRICS RSFridlender & Indrika: Do we Need Dependent Types? Do we Need Dependent Types? Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-03-27 17:26:58 Higher-order functions Functional programming Lambda calculus Type theory Map Haskell AS3 Type system Generic programming Computing Software engineering Declarative programming
278	BRICS RS-05-3 Danvy & Goldberg: There and Back Again BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-03-21 05:10:41
279	Leadership guidelines of JGU The purpose of these general leadership guidelines is to create a shared basic understanding of leadership in our university. These guidelines set standards for leadership conduct and represe Add to Reading List Source URL: www.personalentwicklung.uni-mainz.de Language: English - Date: 2012-03-07 04:56:36 Social psychology Sociology Strategic management Management Politics Social philosophy Science Leadership Political philosophy Positive psychology
280	BRICS Basic Research in Computer Science BRICS RSM¨oller et al.: Predicate Abstraction for Dense Real-Time Systems Predicate Abstraction for Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-11-23 11:27:09 Applied mathematics Models of computation Model checking Fixed-point combinator Abstraction Predicate Abstract interpretation Finite-state machine Function Theoretical computer science Mathematics Lambda calculus

UPDATE